#!/bin/bash
# Copyright 2023 Remy Blank <remy@c-space.org>
# SPDX-License-Identifier: MIT

gdb --eval-command="target extended-remote localhost:3333" \
    --eval-command="monitor reset halt" \
    --eval-command="monitor arm semihosting enable" \
    "$@"
